From 8139a5d830d2c59b76abd9865ae7aeffdaaa107f Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 14 Sep 2017 13:26:49 +0200 Subject: [PATCH] Clarify docs on workspace members --- src/doc/manifest.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/doc/manifest.md b/src/doc/manifest.md index 1b31064fb..7531f0454 100644 --- a/src/doc/manifest.md +++ b/src/doc/manifest.md @@ -457,10 +457,12 @@ as: ```toml [workspace] -# Optional key, inferred if not present +# Optional key, inferred from path dependencies if not present. +# Additional non-path dependencies that should be included must be given here. +# In particular, for a virtual manifest, all members have to be listed. members = ["path/to/member1", "path/to/member2", "path/to/member3/*"] -# Optional key, empty if not present +# Optional key, empty if not present. exclude = ["path1", "path/to/dir2"] ``` -- 2.30.2